Intuition before Formalism References June 23, 2015 Relational post conditions: [Flo67, dBS69, Hoa69, Jon73, Jon80, Acz82, Jon86] Data abstraction/reification: [Luc68, Jon70, Jon80, Jon86, Mar86, Nip86, Jon07] Tool suppo

Source URL: homepages.cs.ncl.ac.uk

• Software engineering
• Computer science
• Theoretical computer science
• Formal methods
• Fellows of the British Computer Society
• Logic in computer science
• Cliff Jones
• Dines Bjrner
• Models of computation
• Vienna Development Method
• David Gries
• Formal Aspects of Computing

To appear in Formal Aspects of Computing Requirements, specifications and minimal refinement Nikos Gorogiannis† and Mark Ryan‡ †

Source URL: www.cs.bham.ac.uk

T P A 2010 L  M B The Presburger Award Committee, consisting of Stefano Leonardi, Andrzej Tarlecki, and

Source URL: www.eatcs.org

• Applied mathematics
• Formal languages
• International Colloquium on Automata
• Languages and Programming
• Presburger Award
• Symposium on Theoretical Aspects of Computer Science
• Alphabet
• European Association for Theoretical Computer Science
• Symposium on Theory of Computing
• Theoretical computer science
• Computer science
• Automata theory

Formal Aspects of Computing: 1{000 c 1997 BCS Limits of Formal Methods Ralf Kneuper

Source URL: www.kneuper.de

• Theoretical computer science
• Science
• Formal languages
• Correctness
• Compiler construction
• Automated proof checking
• Formal proof
• Compiler
• Software development process
• Formal methods
• Mathematics
• Logic

The UU AG System Programming with Functions, Aspects, Attributes, and Catamorphisms Andres L¨ oh Institute of Information and Computing Science

Source URL: kosmikus.org

• Data types
• Formal languages
• Functional programming
• Recursion
• Parsing
• Attribute grammar
• Algebraic data type
• Cons
• ALGOL 68
• Software engineering
• Computer programming
• Computing

Formal Aspects of Computing[removed]: 1–25 c 2006 BCS ° Formal Performance Modelling and Evaluation of an Adaptive Mechanism

Source URL: www.sti.uniurb.it

• Data transmission
• Streaming
• Network performance
• Jitter
• Synchronization
• Packet delay variation
• Transmission Control Protocol
• Packet loss
• Quality of service
• Data
• Information
• Computing

Under consideration for publication in Formal Aspects of Computing Guaranteeing Convergence of Distributed Systems: From Specification to Implementation via Refinement K. Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Concet

Source URL: leecenter.caltech.edu

• Ring
• Ring theory
• Summation
• Predicate transformer semantics
• Mathematics
• Algebraic structures
• Structure